2013.12.15

solve modular og. but there is a problem that if the self transition
should be permitted? then wait for integrated with PAT