Advanced logic for applications by Grandy