Logic proof list, page 3