Recommendations

based on Isabelle