More on the definition of a bayit. Making a sukkah shorter through raising the floor