Recommendations

based on Isabelle in the woods