Code that works with maxims from program-think