replace semtex with semtex_crazy