Prop and Logic: OPLSS handson sessions