Requiring the Arrows extension for the future purposes.