"Summary 2" is fully verified

Also added "run" shorthand
method return types added