Umair ⊢ Siddique
sintaxe