FOL (СИ), стр. 4