Formula Systems