alp reasoning