add todo in getImplications method