Verified we can remove 'df' from tvrh