abstract logic recordings