Recommendations

based on Do It with Isabelle