Two Early Arabic Applications of Model-Theoretic Consequence