stuck in proof