underflow test
if(empty(ps))