Question 1025611
Amy's is true since she said it could have so it allows for non-linear as a possibility and allows other possibilities too.
Joseph's language implies that it must be so is definite and allows for no other possibilities.