1 definition by Petr Horava