Is this defined?