Both of those are scary little killers and much more common in people's tanks than many think. Mantis are quick, smart and like tiny velociraptors in a fish tank and get quite large. The gorilla crabs can get big as well and are effective hunters of anything you have spent money on and your wife or kids like in the tank.
Good find and kill in my opinion,