← full certificateProof Theater
Extracting premises—Building argument graph—Computing H₁(K;ℤ)
P1Company A reported FY2023 net revenue of $4.2B, a 10.5% increase from $3.8B in FY2022
P2Operating expenses grew from $2.9B to $3.1B, a 6.9% increase