NEW: Namespace logic.term separated into files.