Correct module definition for argumentative