prolisingularity view 1