Lampor och Lampdölar , Btor sortering.