Lifted Logic Smells Like Broke in here V1