Proj1 in scheme