Basit taksir ile olası kast arasındaki ayrımı belirlemek için doktrinde ve Yargıtay kararlarında kullanılan 'Frank formülü' nedir?

Metinde ve YCGK'nın 2020/225 sayılı kararında atıf yapılan Frank formülü, failin iç dünyasını anlamaya yönelik bir testtir. Bu formüle göre: Eğer fail, 'netice gerçekleşse bile ben her halde bu hareketi yapardım' diyebiliyorsa 'olası kast'; buna karşılık 'neticenin kesin olarak gerçekleşeceğini bilseydim bu hareketi yapmazdım' diyebiliyorsa 'bilinçli taksir' vardır. Olası kastta fail neticenin meydana gelmesini 'kabullenmekte', 'göze almakta' ve duruma 'kayıtsız kalmaktadır'. Bilinçli taksirde ise fail neticeyi öngörmesine rağmen, kendi becerisine veya şansına güvenerek neticenin gerçekleşmeyeceğine inanmakta ve istememektedir.