Added double DFMF (2FMF.)
Assertions and inspection.