correctness triangle

Signed-off-by: Fei Guan <fguan@feis-mbp.home>