leptene

not defined yet