Structure Types: Laws