Moving Logic instances

- QuantLaws are not correct.