We do not need all these options. Which of them do you actually use? Also, they should all use `with-` or `without-`.