according to that logic, the else can never be reached, because this constructor is only used in case 3, in which the caller has called normalizable first. Isn't that one more reason to assert false?