canonical4
toSign4