Structured Expansion Logic