... for why/how, using the negate sufficient "or" rule with the arrows ... (which is negating the sufficient term that you remove the ... not being there, which is sufficient for seeing Mike? The ... we negate one of those terms and make it a sufficient condition ...