Reword defbooleantest