PROA-Logica-19-cases