checked that the design is syntable