checkpoint
it's strange to use both "?" and "p" as suffixes. from now on, i will
only be using "p". removed `defaliai' for cl package predicates.