Frank formülü, olası kast ile bilinçli taksir ayrımında nasıl bir yöntem sunar?

Frank formülü, failin iç dünyasını anlamaya yönelik bir testtir. YCGK 2019/372 E., 2021/22 K. kararında da atıf yapılan bu formüle göre; eğer 'fail, neticenin gerçekleşeceğini kesin olarak bilseydi yine de herhâlde hareketi gerçekleştirirdi' diyebiliyorsak olası kast; 'neticenin gerçekleşeceğini kesin olarak bilseydi hareketi gerçekleştirmeyecekti' diyebiliyorsam bilinçli taksir söz konusudur. Bu formül, failin neticeyi 'kabullenip kabullenmediği' veya 'istemeyip de gerçekleşmeyeceğine güvendiği' ayrımını yapmaya yardımcı olur. (TCK m.21/2, m.22/3; YCGK 2019/372 E., 2021/22 K.)