A header's claim that its body carries a Leios certificate is the one Leios claim checkable from the block alone.