Application: spatial reasoning