sizes match
complete type
