Resistance to Formally