Continue abstractability