recover the ability to enter examples "by hand"
swap sizeLit for sizeOne