Four types of conditionals by al-oufi