Checked PSR