Roman logic