Technical note: a Mersenne-prime counting formula via the kappac function | Synapse