fixing syntax.sequenceF_ to use Liskov instead of Leibniz as per Kenji's suggestion