WYCS: possibly that's a slightly better way of handling axioms?