reduced expressions