php-meta-requirement: use Formula[]