Object oriented programming
Disjunctive normal form
Arguments