"Expressions" is fully verified