👤

x:3<5 x=nr.natural
aflati x