Premises in BMP Logic HQ: