@kaelig are we making the standard of not having to make this explicit?