Using contracts of packages within your contracts