Added exploit for polymorphic axioms.