Gentler intro to frontier-based semantics.