Formulating propositions in Trojan horse defense cases