Precondition-TypeDescriptionReference