Consider A Feature-Laden Proofer