Add documentation for implicit