Working on the 'guard' semantics.