BYTE | theorem-style