logiska bevisning ådagalade nu G.