splendorproof

not defined yet