Правильно ли эта реляционная алгебра?

Завтра у меня база данных, и я надеюсь, что кто-то сможет подтвердить этот ответ для меня. Скажем, у меня есть схема этого:

branch (branch_name, branch_city, assets)
customer (customer_name, customer_street, customer_city)
account (account_number, branch_name, balance)
loan (loan_number, branch_name, amount)
depositor (customer_name, account_number)
borrower (customer_name, loan_number)

Мне интересен вопрос: "Найдите имена всех клиентов, у которых есть кредит более 5000 фунтов стерлингов, но нет счета с балансом более 500 фунтов стерлингов".

Исходный код:

π customer_name
  (σ amount > 5,000 ^ balance < 500 
    (borrower ⋈ loan ⋈ depositor ⋈ account))

Редактирование: взглянув на совет Эрвина Смута, я внесла поправки в свой код:

π customer_name
  (σ amount > 5,000 (borrower ⋈ loan))
-
π customer_name
  (σ balance < 500 (depositor ⋈ account))   

Это верно?