Exercise Solution for Binary Semantics