Fix inconsistency in axioms for Brent Kung