Finished implementation of contingent construct.