Add implies utility macro.