5-6.c not verified