finished problems A-C with new abstraction functions