mantis implementation