Add existence module.