Would someone please help by providing a simple, theory light example of a problem that verifies the LICQ? (To put this into a little context, I'm working through optimization problems. The next step is to incorporate the KKT conditions.) Thank you in advance!