Theory vs. Law Check