Under what circumstances would this already be defined?