Progress on structure and logic