made Abstract* specifications abstract