Recommendations - The Temptation of Isabelle