Adapted psr-0 statement