no wrl for proof-math

[] proof-math