An Adequate Gamp
3 following