I remind senators that standing order 66(3) says that, if formality is sought, a formal motion shall be put without debate and without amendment. Senators can get leave. Leave can be granted for anything. But I remind senators of that standing order, because I think there has been a tendency in recent times for that not to be done.