Design and check