Logic proof list, page 6