WYCS: adjust syntax for implication.