cosmetic: use HasX lens trick to avoid repeating each lenses