FOL (СИ), стр. 34