Program works with own implementations, but the last two requirements are still not checked?