First part of reader example from Ajmani's talk