Added incompleted prove command
merged