@cheri@net.snug.moe does net shrimp imply gross shrimp