let fd_instantiate_totality_axiom = true