Then definition (39/46)

Then definition