Proper conditial