More boilerplate lemmata; more obstacles found