Hide the fact that this is in PHP