#import <LawPanMethod/FinishIcy.two>
#import <LawPanMethod/EitherSlab.two>
#import <LawPanMethod/GainTheProtocol.two>