-> `it should have one of the following forms`