guarantee buildability