let
    fun unturn(x)=turn(turn(turn(x)))
    fun pile(x,y)=sew(x,y)
    val aa=turn(turn(sew(b,a)))
    val bb=b
    val p=sew(bb,aa)
    val q=sew(bb,aa)
in
    pile(turn(a),unturn(b))
end