requiring (and then inferring) them still seems li...
# general
w
requiring (and then inferring) them still seems like the way