If we know that p → q is true and p is true, what do we know about q?

Choices:
q is false
q is true
q must be negated
q could be either true or false