Strict Binary Logic