What does Stallman say is meant to be mandatory?