Fixed failing spec expecing unsorted lemmata in a specific order.