WYCS: working on wycs syntax still.