fixed prop-logic slides