executeM, checkT, insertT