The system also repeatedly fails to correctly update users
on the tool’s status. Consider the lack of error message
described in Case 1 and the lack of transparency in Corollary
1.1. Users would also expect the auto-generated method to
create some visible warning as described in Corollary 1.3.
Users expect the tool to give solid feedback on the impact of a
proposed change. Not matching users’ expectations in this
respect violates this principle and creates user distrust.