Problematic abstraction problem test