Structured Editor

always assume {

}

always guarantee {

}