put a loop to check semantically [SS]