: valid on disk
: satisfies its Designated Requirement