Farkas-Type Theorems and Applications: From IPH Functions to ICR Functions. (18th November 2018)