worked examples from Genolini's A (Not So) Short Introduction to S4 (2008)