Title: Mantiq
Description: On logic.