Example of Lean Query usage