Summarized contractions with standard default primitive.