implied constraints