Notes for shvex