Discussion about haram_tits