corrected dream-code in rules/clauses