LetLogicRule
36 following