Just a minor comment: A more direct way to do this would be `applytest.evaluate(evaluation).is_true()`. It prevents creating an extra symbol and doing the comparison.