half-made philosopher's code