Law and logic ok