prosyllogisms