Adding required wstructure from Dr. Dasgupta