417 operator-algebra "https:" positions