Triple checking is hard