X results of necessity from Y *