% start derivation with the input received so far #(run).