Assumption Exposure Logic