tyarchimedes is not found!