reinstate shortand resolution notation