Added an optional type to @requires in order to deal with conflicting names