Ample Logic