conditions that control [...] for guard conditions [...] as a guard condition
conditions are evaluated [...] trace back to a