Some problems with two axiomatizations of discussive logic - Jesse Alama (2014)