something, and stuff. linear propositions and parallel construction