abstract division