PR #6: Virtual assertions