removed default clause in the philosopher