adding implies expression