levine -o sullivan sequence