add assumptions to diagnose problems