improve specification of Execute on Lists