Why higher-order logic is a good formalisation for hardware | Heykuki News