Abstract Logic Recordings