Added mantis constants