downcasts
not defined yet