abstract lower