Triangle_postulate loading ...