Olası kast ile bilinçli taksirin ayrımında kullanılan 'Frank Formülü' nedir?

Metinlerde doğrudan bu isimle geçmese de, Yargıtay kararlarındaki mantık Frank Formülü'ne dayanır. Bu formüle göre, faile şu varsayımsal soru sorulur: 'Eğer neticenin kesin olarak gerçekleşeceğini bilseydin, yine de bu hareketi yapar mıydın?'. Eğer cevap 'Evet, yine de yapardım' ise olası kast; 'Hayır, yapmazdım' ise bilinçli taksir vardır. Failin fren yapması 'Hayır, yapmazdım' cevabının somut bir göstergesidir. (Kaynak: olası-kast-ile-bilincli-taksir-kesismeleri.html'deki Yargıtay kararlarının mantıksal yorumu)