Restructured sln and def polish