Redoing syntax for assertions and assumptions