Memo clause of rule-apply