Add a_prop_problem.md