Input: Boolean algebra includes ____ axioms.
Output: five