reordered goals in cesk-quines, with negligible change in performance