>>659
subformula property(だっけか?)って知ってる?