implicit constraint