Contains-fish

Trace: Contains-fish