WYCS: working on prefix normal form now.