EurekaJo: Properties in Jordan apps & games