Insert first full proof