Y Abstract ABS