X \ / if