added formulas for NJR dependencies and some extra ones for testing