Definition:

gleisations