tried coding a bit in philosophy, not really working