Logic proof list, page 2