testing how to abstract partial