which is actually how check works internally when it can do so