Definition of LIGHTERMAN.