adding instances for Logics with dependent functions.