Assertion
Debugging
Logic in computer science
Information science
Axiom
Truth
Mental model
Philosophy
Logic
Ethology