complete basic assertion verification test and implementation required to support it