Added presumes directive
Fixed overload