Is there any theoretical support for these logics? Did you figure it out yourself or is there some inside information?