This may seem counterintuitive but new features often alienate customers. It's not because of formal verification it's because a percentage of customers don't want change.