#975: #851: all ought+not now ought+not+to
opened by thuchacz