Notes for Loz_rules_ok