Some small examples from previous work