Added INVOCATION to WITH-ACCESSORS for better symmetry.