Email Record: Monotone structure in discrete-event systems /