Үүнийг мессежээр илгээх: Abstract Operational Methods for Call-by-Push-Value