System F "Ignition, Sequence, Start!"