Logic proof examples