: In formal logic and computer science, del: fact is a specific command used to delete classical rules or facts during automated proof simplification.