.
slot in lean