att med förmäga » att logiskt bewisagjor