[Note by B.R.] [NB. ab means the same as [wf|WF], which means true-false.]