Always enjoyed his contributions.

Rest in peace Jerry.