prov of 000-CONTENTS