take(N, List, FirstElements) is true if and only if FirstElements is a list consisting of the N first elements of List.