Hi @all, i´m new to context and so far i like it a lot more than messy latex. i try to write some mathematical proofs and have a layout in mind which i can´t implement in a nice way: i want to write the proofs in a tree-like structure, where a 'subproof' for a statement is indented below the statement. it should be possible to do this on more than five levels, for more complex proofs, and across pages would be nice. Example:{ The mapping f is continous, because: f is a linear functional: it maps a vectorspace into its field and it is linear: f(a*x+b*y)=.. =a*f(x)+b*f(y). and its null space is closed: . . so by theorem xy, f is continous } i have tried vtop, which works ok, but looks ugly, and splitting proofs across multiple pages is a pain. is there a better way to do this? tobias