It's not assumption by implication, it's due to omission. I cannot assume a feature exists in your software, you must tell me it exists. As a contrived example,

It's not assumption by implication, it's due to omission. I cannot assume a feature exists in your software, you must tell me it exists. As a contrived example, why would I expect your To Do List app to manage recipes?