[Note by Bertrand Russell: ab means the same as WF, which means true-false.]