FOL (СИ), стр. 32