(Maybe starting with a quicheck command can also be a good starting point I think)