Fixed property tests for new expectations