Suggestion: Formulas that are already known, due to a higher formula having already been scribed, should be grayed out when right clicking them.
I know... there are some formulas that don't "back fill" the lesser versions of the formula, but I wonder if the tech is available to scan your formulas for the higher version of the spell and gray out the menu selection.