Origins of characters whose name contains “Mantis, part 2”