High State Logic