USERHOMOTOPY has ISPROJECTIVE functionality