allen example updated