added prebuilt asserters