Prvy commit, hotovy dokaz lookahead