File XLOG 1.4 sequence

1 Predicate limit/2