finish moving low-level conditions to appendix
tiny tweak and todo note