Conjunction elimination

Last updated