Should we check the fact instead of mentioning it in the phpdoc?