Head(seq) denotes the first element of a sequence, you want the last element. Try
Last(seq) == seq[Len(seq)]
(assuming that the sequence is non-empty).
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/D946CB70-82D9-4CD8-AC2D-55A21A217C7F%40gmail.com.