Use Formal Spin Asl