guardedness

not defined yet