Definition of WORKHOUSE.