Title: Why higher logic is a good formalism for specifying and verifying hardware