checkpoint, adding Benjamin