Binary Semantics