FlipT module now reuses definitions from other modules