2010年6月20日，甲建筑公司与乙业主签订了一份施工合同，合同约定由甲建筑公司先修建工程

，然后按照工程量结算进度款。如果甲建筑公司没有按约定去修建工程，则乙业主可以行使（）。