K. Ádám elkövetői magatartását a bizonyítékok kétséget kizáróan igazolják. Az azonban az egymásnak ellentmondó szakvélemények tisztázása után is bizonytalan marad, hogy az elkövetéskor fennállt-e nála a beszámítási képességet kizáró kóros elmeállapot. Az ügyész szerint ezt a kétséget nem kell a vádlott javára értékelni, hiszen az elkövető személye biztosan megállapítható.

a) Melyik büntetőeljárási alapelv alkalmazása merül fel?