"Named and Default Arguments" is fully verified