don't mess with semfold, use vars instead