A school that treats CS as a branch of philosophy