fixed 'in' predicate and 'math' module