Add structure through implied-in-law