min-stack and stack-can-topple