Answer: A
every is an and over a set of items: every(p, lst) = p(lst1) && p(lst2) && ... && p(lstn) = p(lst1) ∧ p(lst2) ∧ ... ∧ p(lstn) .
The base case (identity or idempotent value) for and is true, since (x && true) = x, so every should return true as its base case when the list is empty.