Recommendations

based on Waltz for Isabelle