AbstractSpecMethod implemented