Text this: The law of non-contradiction