assumption-checks