DRINKS $($PERSON$,$ COFFEE$)$

HAS$\_$BEAN $($COFFEE$,$ BEAN$\_$NAME$)$

BEAN $($BEAN$\_$NAME, FROM$\_$LOCATION$)$

Write Tuple relational calculus expressions to compute:

Which people drink a set of coffees that together contain all of the beans from $$Hawaii$?$

$\{$d$.$PERSON $|$ DRINKS$($d$)$ AND FORALL $($b$)($BEAN$($b$)$ AND b$.$fl $=$Hawaii$$

$->$ EXISTS $($hb$)($HAS$\_$BEEN $($hb$)$ AND hb$.$BEAN$\_$NAME $=$ b$.$BEAN$\_$NAME AND EXISTS $($d$2)($DRINKS$($d$2)$ AND d$2.$PERSON $=$ d$.$ PERSON AND d$2.$COFFEE $=$ hb$.$COFFEE $)))\}$

Is this answer correct