Implementation details (PHP)