"Overloading" is fully verified