Unit resolution implemented