Sort:  

Both assumptions are true.