Logical world separated from the concrete state