R Logic