prove command now works