More derivables like this:
_
_