File:Mantis example1.png