Logic proof list, page 4