The IABIED statement is not literally true — LessWrong