Logic proof list, page 5