added some notes on the exists method and tailrec annotation