I think encrypted.google.com doesn't use AMP yet, so they could make that the default search