Verification specifications for Item System and Usage System.