その設計が正しいって検証できるの?