theoed 9: 1a,b
theoed 9: 1c,d