Start of expr, by Daniel Verkamp.