construction corollary