Added abstractness definition