redefine assertions for protocols_by_factors