Գրեք սա: Constructive Negations and Paraconsistency