Գրեք սա: A Theory of Conjunction and Concurrency