FOL (СИ), стр. 36