Title: What Do You Want to Prove? Planning Investigations