Probably case 6: is still not required?