Definition of MANSION.