Real Logic