Abstract corpuses added