Sinnrikare bevisnings-formler , beqvämarevederläggnings-inetoder