Ada's prime

Following