174804016553domain: NAppears in sequencesa(n) is the number of well-formed formulas (wffs) of zeroth-order logic containing n characters (see comments).at n=26A344900