core-proof-f35 ($CORE)