logical exceptions