Could somebody illustrate how this solves the problem of convariant argument redefinition using 'like Current' or similar? --Schoelle 12:33, 8 July 2007 (CEST)