Dusky blue tipped white is dominant to white tipped grey. Lucky has dusky blue tipped white whiskers. Blue has grey tipped white whiskers. Their kitten has white tipped grey whiskers, which are dominant to grey tipped white, so can't have come from Blue. Therefore, Lucky must be carrying white tipped grey under the dusky blue.