the guard is deterministic