Zaslat SMS: The propositional logic of Avicenna /