SWAYLOCKS
lemat