En Btor uppfinnings början.