takaoki-Positivity snails and frogs!