I wonder how we can simplify this sheer boilerplate...