Trance Logic