function positive ( x : integer ): boolean; {pre: x is defined post: positive is T or F} begin positive := x >= 0 end; begin writeln( positive ( 5 ), ' ', positive (-3) ) end.