The tag implication #64512 big_power_bottom -> power_bottom has been rejected.

Reason: Any big power bottom implies being a power bottom.

EDIT: The tag implication big_power_bottom -> power_bottom (forum #416651) has been rejected by @spe.

I can't say I'm fond of absolute terms like "big" here. People may confuse it for larger_power_bottom (which would be largely redundant with "power_bottom larger_penetrated") making it relative and not any specific size, or have different ideas on what does and doesn't constitute "big".

Thought this was for "power_button"s for a second.

The tag implication big_power_bottom -> power_bottom (forum #416651) has been rejected by @spe.