indent
add post for release 0.12.0
use math:qed