Possibly.
At other places we used def's.