A bug report should mark the first assumption that still needs proof. Fixes move faster when the weak premise is visible.