SKy Full Elastic Baggy Formal