För sin strängt konseqventaform