Satisfying compilation of Justin Matthews