if proj is not the identity matrix or something