SWIN language
Full Formal Added