generated at
Scott–Curry theorem