In the 'conditions for theorems' section, I wonder whether it would be easier (and just as effective) to put the whole theorem (including conditions) in at once, and then use cloze deletion to get tested on different parts.