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