Precondition is generally preferable because you're being explicit; as for the error message, it should return a detailed one if the relationship already exists