Olası kast ile bilinçli taksir arasındaki ayrımı yaparken kullanılan 'Frank Formülü' nedir?

Metinlerde doğrudan geçmemekle birlikte, bu ayrımda doktrinde sıkça kullanılan 'Frank Formülü' şudur: Eğer fail, 'netice gerçekleşmeyecek diye bilseydim yine de hareket ederdim' diyebiliyorsa 'bilinçli taksir'; buna karşılık, 'neticenin gerçekleşeceğini kesin olarak bilseydim bu hareketi yapmaktan vazgeçerdim' diyebiliyorsa yine 'bilinçli taksir'; ancak 'neticenin gerçekleşeceğini kesin olarak bilseydim dahi fark etmez, yine de yapardım' diyebiliyorsa 'olası kast' vardır. Bu formül, failin iç dünyasındaki kabullenme derecesini ölçmeyi amaçlar.