#proofdollsiet : for dollsiet #proofkorsiet : for korsiet #proofbordan for bordan