logical statements proted in python