Proposal Expressed in Catalog Language