wrote a bit about the check loop types stuff.