Logical refutation of legalism