nice ga!
i apply
like+rep added
proofs are always ready.