Title: A mermaid in Nikoli