spine-possib-phases proved