Empty derivable for derivation purposes. There is intentionally nothing here.