Make explicit what we do not handle