proposition for (T)VF(NM) are automatically generated