create implication paper_kabuto -> paper_hat ?
Link to implication
a paper_kabuto is a kind of paper_hat
Edit: paper_hat has no posts other than paper_kabuto anyway; if there are other cases of non-kabuto paper hats, maybe an alias would be more appropriate.