model: compliance_provides_bool
p.hello
<non-compliance>
