WYCS: working on substitution of generic variables.