Text this: Remarks on da costa's paraconsistent set theories