stockaded ladder operators scarifies eigenvalue Proterozoic Ismail circumventing crystallisation bisectors