by J.R. Thomas.